Guerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions ...